Wine-Coloured Ivy

System Description: IVY

IVY is a veriied theorem prover for rst-order logic with equality. It is coded in ACL2, and it makes calls to the theorem prover Otter to search for proofs and to the program MACE to search for coun-termodels. Veriications of Otter and MACE are not practical because they are coded in C. Instead, Otter and MACE give detailed proofs and models that are checked by veriied ACL2 programs. In additio...

Poison ivy, poison oak, and poison sumac.

Coloured Spectacles

Properly Coloured Hamiltonian Paths in Edge-coloured Complete Graphs

We consider edge-coloured complete graphs. A path or cycle Q is called properly coloured (PC) if any two adjacent edges of Q differ in colour. Our note is inspired by the following conjecture by B. Bollobás and P. Erdős (1976) : if G is an edge-coloured complete graph on n vertices in which the maximum monochromatic degree of every vertex is less than bn/2c, then G contains a PC Hamiltonian cyc...

Rhizomatic Informatics: The Case of Ivy University

While the debate over information systems and their role in society persists, the discipline continues to seek approaches to better understand IS, and its complex interactions with organizations and people. This paper draws ideas from Deleuze and Guattari’s work on rhizomes (a nonhierarchical network) and its opposing tree (arboreal structure), to develop better insights (Deleuze and Guattari 2...